Cantor theorem and friends, in logical form
نویسندگان
چکیده
منابع مشابه
A Generalized Cantor Theorem
A well known theorem of Cantor asserts that the cardinal of the power-set of a given set always exceeds the cardinal of the original set. An analogous result for sets having additional structure is the well known theorem that the set of initial segments of a well ordered set always has order type greater than the original set. These two theorems suggest that there should be a similar result for...
متن کاملCantor-bernstein Theorem for Lattices
This paper is a continuation of a previous author’s article; the result is now extended to the case when the lattice under consideration need not have the least element.
متن کاملDenotational World-indexed Logical Relations and Friends
As part of the long-standing drive for mathematical machinery to reason aboutcomputer programs, we use the technique of denotational logical relations to provecontextual equivalence of stateful programs. We propose the notion of approximatelocations to solve the non-trivial problem of existence and solve the fundamentaltype-worlds circularity by metric-space theory. This approac...
متن کاملEpsilon Numbers and Cantor Normal Form
An epsilon number is a transfinite number which is a fixed point of an exponential map: ω ε = ε. The formalization of the concept is done with use of the tetration of ordinals (Knuth's arrow notation, ↑↑). Namely, the ordinal indexing of epsilon numbers is defined as follows: ε0 = ω ↑↑ ω, εα+1 = εα ↑↑ ω, and for limit ordinal λ: ε λ = lim α<λ εα = α<λ εα. Tetration stabilizes at ω: α ↑↑ β = α ↑...
متن کاملLogical Form
The notion of the logical form of an expression E is shown to be a semantic notion that can be derived from the notion of the structured meaning of E. This simple idea can be traced to categorial grammars, and it is implicitly used by Richard Montague. We argue that a most fine-grained tool for defining structured meaning can be found in Pavel Tichý’s Transparent Intensional Logic (TIL). Struct...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annals of Pure and Applied Logic
سال: 2013
ISSN: 0168-0072
DOI: 10.1016/j.apal.2012.10.011